Validation Against Actual Behavior: Still a Challenge for Testing Tools
نویسندگان
چکیده
A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implementation under test (IUT). Current approaches and tools for testing fall into one of two categories: code-centric or model-centric. In this paper we review typical tools offered in each of these two categories, in order to establish the ability of such tools to support validation against actual behavior. We postulate that such support requires that test cases be both a) traceable back to the requirements of stakeholders and b) executed using an actual IUT in order to determine their outcome based on the actual behavior of an IUT. We observe that, in general, code-based testing tools fail to offer traceability between stakeholders' requirements and test cases. In contrast, in model-based testing, tests are generated from and traceable back to models, but they are typically disconnected from an actual IUT. Thus, we argue that validation against actual behavior remains a challenge for most existing code-centric and model-centric testing tools. We conclude by suggesting some essential functionality for a testing tool that could support the validation of the requirements of stakeholders against the actual behavior of an
منابع مشابه
Reconciling Offshore Outsourcing with Model Based Testing
In the context of offshore outsourcing, in order to validate the requirements of a stakeholder (the contractor) against the actual behavior of an implementation under test (IUT) developed by the contracted, it is necessary to have a requirement specification language from which test cases can be generated and executed on an actual IUT. Code-based testing tools are limited to unit testing and do...
متن کاملTesting the Tester: Specification and Validation Approaches
It’s a given that ATE test platforms are complex systems. Many HW and SW elements need to be integrated and work together for successful testing solutions. Too often we define a properly working platform within the context of the tools used to test and validate its behavior. Diagnostics, calibration, and special-purpose validation tools are used to prove a platform’s adherence to specifications...
متن کاملValidation and Verification of the Remote Agent for Spacecraft Autonomy
The six-day Remote Agent Experiment (RAX) on the Deep Space 1 mission will be the first time that an artificially intelligent agent will control a NASA spacecraft. Successful completion of this experiment will open the way for AI-based autonomy technology on future missions. An important validation objective for RAX is implementation of a credible validation and verification strategy for RAX th...
متن کاملAutomated Acceptance Testing Tools Evaluation in Agile Software Development
Acceptance test is a crucial procedure in software development for the development of the right requirements that meets the needs and expectations of the stakeholders and users. Due to the problems faced when conducting this test manually, several automated acceptance tools have been developed. This paper presents a comparison analysis of selected automated acceptance tools from the existing li...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010